Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
291	Theory Comput. Systems OF1–OF22[removed]DOI: [removed]s00224[removed]Theory of Computing Systems Add to Reading List Source URL: home.engineering.iastate.edu Language: English - Date: 2007-08-07 15:13:30 Complexity classes Mathematical logic NP Transmission Control Protocol Algorithms Computational complexity theory Streaming algorithm Ε-net Theoretical computer science Applied mathematics Mathematics
292	Part III Functions as Data By now you’re accustomed to the idea of expressing a computational process in terms of the function whose value you want to compute, rather than in terms of a sequence of actions. But you pro Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:14 Subroutines Functions and mappings Functional programming Function Mathematical logic Sentence Parameter Higher-order function Algorithm Software engineering Computer programming Computing
293	Cognitive computing leads to the next level of answering questions on the Web Edy Portmann University of Bern, Switzerland ABSTRACT Add to Reading List Source URL: tinytocs.org Language: English - Date: 2015-03-07 12:34:01 Information Semantic Web Computational linguistics Ontology Question answering Fuzzy logic Web search engine Information science Science Information retrieval
294	The Distributional Inclusion Hypotheses and Lexical Entailment Maayan Geffet School of Computer Science and Engineering Hebrew University, Jerusalem, Israel, [removed]removed] Add to Reading List Source URL: u.cs.biu.ac.il Language: English - Date: 2007-06-20 15:30:46 Logic Semantic similarity Textual entailment Distributional hypothesis Entailment WordNet Feature Preposition and postposition Bootstrapping Linguistics Computational linguistics Science
295	FerienAkademie[removed]Course ”Quantum computation” Quantum algorithm for Hilbert’s 10th problem Add to Reading List Source URL: yury.name Language: English - Date: 2006-01-02 14:44:12 Mathematical logic Theory of computation Computability theory Computational complexity theory Halting problem Diophantine equation Entscheidungsproblem Quantum computer Algorithm Theoretical computer science Mathematics Applied mathematics
296	BODC Numerical Model Simulation Metadata Questionnaire Add to Reading List Source URL: www.bodc.ac.uk Language: English - Date: 2014-04-01 09:23:35 Scientific modeling Computational science Electronic design automation Computer simulation Virtual reality Simulation British Oceanographic Data Centre MEMO Model Logic simulation Science Earth Environment
297	Natural Language Engineering 16 (4): 359–389. doi:[removed]S1351324910000124 c Cambridge University Press 2010 Add to Reading List Source URL: u.cs.biu.ac.il Language: English - Date: 2012-08-15 11:40:54 Logical consequence Natural language processing Computational linguistics Semantic similarity Semantics Lexical semantics Textual entailment Euclidean vector Analogy Logic Science Linguistics
298	mReactr: A computational theory of deductive reasoning Sangeet Khemlani and J. Gregory Trafton [removed], [removed] Navy Center for Applied Research in Artificial Intelligence Naval Researc Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-09-06 02:48:47 Reasoning Mental model Psychology of reasoning Inference Reason ACT-R Working memory Psychology Logic Mind Ethology Science
299	Realist consequence, epistemic inference, computational correctness Giuseppe Primiero FWO – Research Foundation Flanders Centre for Logic and Philosophy of Science, Ghent University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-04-15 07:35:43 Deduction Axiology Correctness Entailment Inference Economic model Logic Logical consequence Theoretical computer science
300	Tutorial: Exact Numerical Computation in Algebra and Geometry Chee K. Yap ∗ Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2009-06-16 14:32:05 Science Computer algebra Algorithm Mathematical logic Theoretical computer science Computational geometry Numerical analysis Symbolic computation Numerical linear algebra Mathematics Computational science Applied mathematics

UPDATE